- гипотеза компактности
- n
IT. hypothèse de compacité
Dictionnaire russe-français universel. 2013.
гипотеза компактности
Regardez d'autres dictionnaires:
ЕВАНГЕЛИЕ. ЧАСТЬ II — Язык Евангелий Проблема новозаветного греческого Дошедшие до нас оригинальные тексты НЗ написаны на древнегреч. языке (см. ст. Греческий язык); существующие версии на др. языках это переводы с греческого (или с др. переводов; о переводах… … Православная энциклопедия
МЕТОДЫ КЛАССИФИКАЦИИ — совокупность методов статистич. многомерного анализа. В зависимости от того, в какой области научн. знаний М.к. возникли и получили свое развитие, они наз. методами многомерной классификации, таксономии, кластерного анализа, группировки,… … Российская социологическая энциклопедия
Топология — (от греч. tоpos место и …логия (См. ...Логия) часть геометрии, посвященная изучению феномена непрерывности (выражающегося, например, в понятии предела). Разнообразие проявлений непрерывности в математике и широкий спектр различных… … Большая советская энциклопедия
Репродуктивная система: стробилы и спорангии — Так же как у кордаитовых, стробилы у хвойных всегда однополые. Они образуют собрания стробилов, или сложные стробилы, называемые ипогда «соцветиями». К сожалению, нет специального термина для обозначения собраний стробилов, так как термин … Биологическая энциклопедия
КЛЕТКА — (cellula, cytus), основная структурно функциональная единица всех живых организмов, элементарная живая система. Может существовать как отд. организм (бактерии, простейшие, нек рые водоросли и грибы) или в составе тканей многоклеточных животных,… … Биологический энциклопедический словарь
КОНЕЧНОСТИ ТЕОРЕМЫ — 1) К. т. в алгебраической геометрии утверждения о различных объектах алгебраич. геометрии (пространствах когомологий, алгебраич. многообразиях, схемах, расслоениях и т. п.), состоящие в том, что эти объекты зависят от конечного числа параметров… … Математическая энциклопедия
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия
Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
